Kempisty's theorem for the integral product quasicontinuity
نویسندگان
چکیده
منابع مشابه
Monotone Convergence Theorem for the Riemann Integral
The monotone convergence theorem holds for the Riemann integral, provided (of course) it is assumed that the limit function is Riemann integrable. It might be thought, though, that this would be difficult to prove and inappropriate for an undergraduate course. In fact the identity is elementary: in the Lebesgue theory it is only the integrability of the limit function that is deep. This article...
متن کاملTheorem Proving for Product Lines
Mechanized proof assistants are powerful verification tools, but proof developments can still be difficult and timeconsuming. When verifying a family of related programs, the effort can be reduced by proof reuse. In this paper, we show how to engineer proofs for product lines built from feature modules. Each module contains proof fragments which are composed together to build a complete proof o...
متن کاملExistence of Solutions for some Nonlinear Volterra Integral Equations via Petryshyn's Fixed Point Theorem
In this paper, we study the existence of solutions of some nonlinear Volterra integral equations by using the techniques of measures of noncompactness and the Petryshyn's fixed point theorem in Banach space. We also present some examples of the integral equation to confirm the efficiency of our results.
متن کاملCauchy Integral Theorem
where we use the notation dxI for (1.4) dxI = dxi1 ∧ dxi2 ∧ ... ∧ dxik for I = {i1, i2, ..., ik} with i1 < i2 < ... < ik. So ΩX is a free module over C ∞(X) generated by dxI . Obviously, Ω k X = 0 for k > n and ⊕ΩX is a graded ring (noncommutative without multiplicative identity) with multiplication defined by the wedge product (1.5) ∧ : (ω1, ω2)→ ω1 ∧ ω2. Note that (1.6) ω1 ∧ ω2 = (−1)12ω2 ∧ ω...
متن کاملAn Integral Geometric Theorem for Simple Valuations
We prove a translative mean value formula for simple valuations, taken at the intersection of a fixed and a translated convex body. MSC 2000: 52A22 (primary); 52B45 (secondary)
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 2006
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm106-2-6